#include<bits/stdc++.h>
using namespace std;

int main()
{
	int k;
	scanf("%d",&k);
	if(k==1){puts("1");puts("1 ");}
	if(k==2){puts("2");puts("2 1 ");}
	if(k==3){puts("3");puts("3 2 2 ");}
	if(k==4){puts("3");puts("1 3 2 ");}
	if(k==5){puts("4");puts("1 2 3 3 ");}
	if(k==6){puts("4");puts("2 4 3 3 ");}
	if(k==7){puts("4");puts("4 1 3 2 ");}
	if(k==8){puts("5");puts("2 3 5 2 2 ");}
	if(k==9){puts("5");puts("2 5 4 2 3 ");}
	if(k==10){puts("5");puts("5 5 1 4 2 ");}
	if(k==11){puts("6");puts("2 2 5 1 4 3 ");}
	if(k==12){puts("6");puts("5 2 5 4 3 1 ");}
	if(k==13){puts("6");puts("3 4 1 4 2 2 ");}
	if(k==14){puts("6");puts("6 6 3 2 4 1 ");}
	if(k==15){puts("7");puts("1 2 2 5 2 3 3 ");}
	if(k==16){puts("7");puts("5 1 1 2 6 7 3 ");}
	if(k==17){puts("7");puts("3 4 5 6 2 4 2 ");}
	if(k==18){puts("7");puts("4 6 4 4 5 2 2 ");}
	if(k==19){puts("7");puts("4 3 6 2 6 7 7 ");}
	if(k==20){puts("7");puts("6 4 2 7 1 5 6 ");}
	if(k==21){puts("8");puts("8 1 5 8 1 5 6 8 ");}
	if(k==22){puts("8");puts("3 8 2 6 5 8 3 2 ");}
	if(k==23){puts("8");puts("7 4 8 4 6 2 8 8 ");}
	if(k==24){puts("8");puts("1 8 5 2 8 7 7 2 ");}
	if(k==25){puts("8");puts("8 5 8 7 7 2 4 8 ");}
	if(k==26){puts("8");puts("2 8 4 3 5 1 6 3 ");}
	if(k==27){puts("8");puts("8 1 4 1 7 2 3 3 ");}
	if(k==28){puts("9");puts("2 1 4 4 5 2 3 9 7 ");}
	if(k==29){puts("9");puts("1 5 4 6 4 8 6 2 3 ");}
	if(k==30){puts("9");puts("6 2 9 2 2 6 7 4 3 ");}
	if(k==31){puts("9");puts("7 8 6 6 5 2 1 7 2 ");}
	if(k==32){puts("9");puts("2 1 9 7 2 6 5 5 3 ");}
	if(k==33){puts("9");puts("1 4 1 9 2 6 2 5 4 ");}
	if(k==34){puts("9");puts("6 7 3 8 5 8 1 7 5 ");}
	if(k==35){puts("10");puts("5 4 6 3 9 2 8 9 3 2 ");}
	if(k==36){puts("10");puts("5 3 7 8 10 4 7 7 10 5 ");}
	if(k==37){puts("10");puts("5 8 6 4 7 10 1 8 3 8 ");}
	if(k==38){puts("10");puts("8 1 6 2 3 5 6 5 4 8 ");}
	if(k==39){puts("10");puts("9 1 8 10 3 4 3 5 2 3 ");}
	if(k==40){puts("10");puts("5 1 9 6 1 7 2 3 4 3 ");}
	if(k==41){puts("10");puts("2 7 6 8 6 4 3 4 10 3 ");}
	if(k==42){puts("10");puts("1 10 7 9 3 3 2 6 4 6 ");}
	if(k==43){puts("11");puts("6 6 1 11 8 7 11 8 2 7 8 ");}
	if(k==44){puts("11");puts("1 5 4 11 7 8 8 1 9 3 8 ");}
	if(k==45){puts("11");puts("11 6 1 11 6 10 1 9 8 2 10 ");}
	if(k==46){puts("11");puts("2 11 9 3 1 3 2 5 3 8 8 ");}
	if(k==47){puts("11");puts("7 1 10 8 1 3 4 3 10 10 7 ");}
	if(k==48){puts("11");puts("4 1 9 9 9 5 10 7 8 11 5 ");}
	if(k==49){puts("11");puts("9 5 11 7 2 4 5 10 9 10 3 ");}
	if(k==50){puts("11");puts("5 7 5 3 11 4 4 8 3 9 2 ");}
	if(k==51){puts("11");puts("4 9 11 2 10 10 1 4 8 9 5 ");}
	if(k==52){puts("12");puts("2 4 8 10 10 1 1 3 11 11 7 5 ");}
	if(k==53){puts("12");puts("4 11 5 12 8 5 9 7 5 3 4 11 ");}
	if(k==54){puts("12");puts("4 7 2 7 7 5 2 4 9 2 12 10 ");}
	if(k==55){puts("12");puts("9 6 3 10 12 12 4 10 1 3 12 3 ");}
	if(k==56){puts("12");puts("2 9 4 9 4 1 6 1 11 2 12 8 ");}
	if(k==57){puts("12");puts("2 8 3 6 12 11 12 7 11 4 9 9 ");}
	if(k==58){puts("12");puts("4 4 3 1 7 6 8 11 11 5 8 2 ");}
	if(k==59){puts("12");puts("3 3 9 11 12 9 8 6 1 8 12 1 ");}
	if(k==60){puts("12");puts("3 4 10 8 8 11 1 5 4 7 5 10 ");}
	if(k==61){puts("12");puts("7 5 10 2 1 1 5 11 1 12 3 6 ");}
	if(k==62){puts("12");puts("9 11 11 3 7 10 3 12 2 8 2 10 ");}
	if(k==63){puts("13");puts("5 12 12 2 11 1 2 10 5 11 11 8 1 ");}
	if(k==64){puts("13");puts("8 6 5 2 13 1 5 3 8 10 7 11 8 ");}
	if(k==65){puts("13");puts("4 12 11 3 9 8 6 12 3 7 6 4 8 ");}
	if(k==66){puts("13");puts("4 13 4 1 10 2 9 13 11 3 5 11 8 ");}
	if(k==67){puts("13");puts("5 11 10 7 1 10 5 13 5 12 9 4 2 ");}
	if(k==68){puts("13");puts("11 4 5 12 2 7 4 13 11 2 2 6 4 ");}
	if(k==69){puts("13");puts("12 4 8 13 13 8 10 11 3 12 5 13 7 ");}
	if(k==70){puts("13");puts("6 5 3 13 12 4 13 7 6 8 8 7 12 ");}
	if(k==71){puts("13");puts("1 1 13 10 10 7 2 3 11 4 5 7 8 ");}
	if(k==72){puts("13");puts("1 12 3 4 5 9 4 10 2 10 1 8 13 ");}
	if(k==73){puts("14");puts("6 12 9 9 4 13 11 12 3 7 5 14 11 4 ");}
	if(k==74){puts("14");puts("11 12 1 4 4 10 4 4 2 4 5 1 12 12 ");}
	if(k==75){puts("14");puts("1 14 3 10 5 1 7 8 2 10 3 14 8 10 ");}
	if(k==76){puts("14");puts("12 12 1 3 6 12 1 6 4 2 6 10 6 14 ");}
	if(k==77){puts("14");puts("13 2 5 6 9 14 8 5 1 3 14 6 4 10 ");}
	if(k==78){puts("14");puts("10 7 4 1 2 14 3 5 10 1 10 7 8 8 ");}
	if(k==79){puts("14");puts("14 2 14 2 1 10 3 9 11 4 7 7 10 7 ");}
	if(k==80){puts("14");puts("3 12 12 2 12 7 14 10 7 8 5 6 8 11 ");}
	if(k==81){puts("14");puts("10 12 12 13 9 5 10 5 3 9 2 8 13 4 ");}
	if(k==82){puts("14");puts("13 12 2 2 7 12 5 10 14 8 10 11 9 1 ");}
	if(k==83){puts("14");puts("7 9 7 11 10 2 12 13 13 5 2 8 1 3 ");}
	if(k==84){puts("15");puts("5 6 5 15 2 6 2 6 2 9 3 2 3 14 6 ");}
	if(k==85){puts("15");puts("7 14 11 3 9 6 10 7 6 7 13 7 1 1 5 ");}
	if(k==86){puts("15");puts("12 9 9 7 7 4 4 12 14 4 3 15 3 6 6 ");}
	if(k==87){puts("15");puts("14 5 4 15 14 14 13 6 6 8 15 9 6 4 7 ");}
	if(k==88){puts("15");puts("1 11 9 13 5 7 5 9 2 5 11 12 4 2 2 ");}
	if(k==89){puts("15");puts("1 12 7 2 11 10 4 11 13 11 3 15 13 12 1 ");}
	if(k==90){puts("15");puts("12 4 4 12 9 6 4 14 13 4 2 15 13 8 15 ");}
	if(k==91){puts("15");puts("5 3 5 15 9 7 9 5 10 3 8 6 2 11 12 ");}
	if(k==92){puts("15");puts("13 11 3 1 8 10 9 2 12 9 13 1 12 15 3 ");}
	if(k==93){puts("15");puts("2 12 3 3 11 5 10 9 12 11 1 15 2 5 13 ");}
	if(k==94){puts("15");puts("8 6 12 3 10 5 4 9 8 1 1 14 5 9 5 ");}
	if(k==95){puts("15");puts("7 3 8 8 3 8 15 1 2 4 4 13 9 9 12 ");}
	if(k==96){puts("16");puts("5 10 14 6 6 14 1 6 12 10 15 6 13 15 6 11 ");}
	if(k==97){puts("16");puts("13 4 16 8 8 9 6 3 1 4 3 13 13 3 16 13 ");}
	if(k==98){puts("16");puts("1 5 3 8 16 15 13 14 11 6 13 14 15 5 4 3 ");}
	if(k==99){puts("15");puts("3 10 2 7 2 11 2 14 4 15 1 1 3 8 14 ");}
	if(k==100){puts("16");puts("4 10 11 11 1 1 13 3 3 10 6 12 8 10 6 10 ");}
	if(k==101){puts("16");puts("14 1 5 2 16 2 8 4 2 2 7 9 14 2 14 11 ");}
	if(k==102){puts("16");puts("15 5 2 10 8 14 12 15 1 8 16 13 5 16 8 11 ");}
	if(k==103){puts("16");puts("13 11 15 14 11 6 1 12 3 6 4 4 6 12 10 3 ");}
	if(k==104){puts("16");puts("1 15 5 1 3 9 3 2 12 8 6 6 10 3 11 5 ");}
	if(k==105){puts("16");puts("6 6 8 14 11 12 11 5 5 14 5 12 1 9 9 10 ");}
	if(k==106){puts("16");puts("12 16 7 13 12 12 2 12 9 1 16 14 7 5 14 6 ");}
	if(k==107){puts("16");puts("11 9 9 15 13 15 5 14 6 5 3 4 1 7 14 1 ");}
	if(k==108){puts("16");puts("15 13 5 9 5 7 2 1 1 10 9 11 4 13 3 13 ");}
	if(k==109){puts("16");puts("7 13 6 9 11 8 2 1 15 16 16 6 1 11 14 3 ");}
	if(k==110){puts("16");puts("9 2 12 10 15 16 13 7 7 11 5 8 8 13 4 15 ");}
	if(k==111){puts("16");puts("12 10 10 16 1 2 16 5 15 4 8 15 6 15 9 13 ");}
	if(k==112){puts("17");puts("11 5 8 8 3 1 12 15 15 14 9 10 12 17 14 11 5 ");}
	if(k==113){puts("17");puts("14 3 2 3 13 8 15 7 5 8 3 2 13 11 5 15 3 ");}
	if(k==114){puts("17");puts("7 10 17 8 10 16 17 5 8 7 17 6 7 14 7 13 6 ");}
	if(k==115){puts("17");puts("6 7 13 13 7 17 1 13 6 14 9 15 8 3 13 4 5 ");}
	if(k==116){puts("17");puts("9 6 15 12 7 7 11 13 11 7 4 9 16 5 3 7 8 ");}
	if(k==117){puts("17");puts("2 16 10 2 4 9 2 13 9 10 15 15 6 11 11 10 3 ");}
	if(k==118){puts("17");puts("1 3 12 11 7 1 16 17 8 9 16 8 9 15 3 17 3 ");}
	if(k==119){puts("17");puts("1 4 9 13 16 10 1 14 3 10 9 9 7 14 1 17 11 ");}
	if(k==120){puts("17");puts("10 14 10 16 9 2 7 2 10 3 7 12 9 13 4 1 2 ");}
	if(k==121){puts("17");puts("4 9 2 4 7 3 14 17 3 6 6 1 5 10 13 5 1 ");}
	if(k==122){puts("17");puts("6 14 17 12 13 5 9 14 1 17 10 15 15 13 6 16 16 ");}
	if(k==123){puts("17");puts("12 10 3 5 9 17 14 14 6 3 15 9 9 4 5 8 16 ");}
	if(k==124){puts("18");puts("1 6 3 10 10 9 9 4 3 5 4 8 1 7 14 8 7 9 ");}
	if(k==125){puts("17");puts("17 1 11 8 7 3 3 11 15 6 17 8 2 10 12 17 14 ");}
	if(k==126){puts("18");puts("11 1 9 16 12 4 2 8 10 4 4 11 12 2 10 7 11 5 ");}
	if(k==127){puts("18");puts("1 12 10 8 12 10 16 17 9 8 10 3 1 8 1 13 2 9 ");}
	if(k==128){puts("18");puts("18 12 1 4 6 7 6 14 10 1 17 9 9 10 2 9 2 10 ");}
	if(k==129){puts("18");puts("9 17 3 14 6 2 5 10 13 10 8 5 8 4 13 9 16 17 ");}
	if(k==130){puts("18");puts("6 17 11 16 14 4 12 9 1 15 14 6 6 15 14 1 10 7 ");}
	if(k==131){puts("18");puts("9 11 15 3 18 13 15 10 15 3 6 16 2 12 9 6 8 12 ");}
	if(k==132){puts("18");puts("3 5 17 13 1 1 11 3 1 6 4 5 10 9 12 7 14 10 ");}
	if(k==133){puts("18");puts("16 10 8 16 10 5 4 6 4 9 5 4 13 4 1 2 13 11 ");}
	if(k==134){puts("18");puts("1 16 6 2 17 12 11 11 9 17 14 8 10 13 10 6 5 2 ");}
	if(k==135){puts("18");puts("15 11 10 11 2 5 13 16 15 6 16 7 7 2 12 18 4 12 ");}
	if(k==136){puts("18");puts("11 18 11 5 17 1 14 9 15 18 11 18 4 5 3 10 17 13 ");}
	if(k==137){puts("18");puts("17 2 4 16 3 4 2 11 9 8 6 11 7 8 13 1 1 17 ");}
	if(k==138){puts("18");puts("14 18 1 16 7 17 18 11 15 10 17 16 10 17 5 2 6 8 ");}
	if(k==139){puts("18");puts("5 14 6 15 3 17 1 18 5 15 11 9 6 4 17 10 13 3 ");}
	if(k==140){puts("18");puts("12 16 15 10 7 1 3 1 6 18 12 17 8 2 17 3 13 3 ");}
	if(k==141){puts("18");puts("13 13 11 4 14 6 7 10 1 14 11 7 7 18 4 16 15 2 ");}
	if(k==142){puts("18");puts("2 18 7 16 14 11 15 5 18 6 12 10 4 1 3 13 14 7 ");}
	if(k==143){puts("18");puts("4 5 16 8 18 2 5 1 9 7 3 10 10 13 6 15 10 6 ");}
	if(k==144){puts("19");puts("4 4 9 12 6 10 15 2 3 14 7 6 9 3 6 3 5 9 18 ");}
	if(k==145){puts("19");puts("3 8 5 17 5 13 2 13 10 12 19 7 3 9 2 10 14 8 8 ");}
	if(k==146){puts("19");puts("16 11 15 10 11 7 3 4 6 6 2 16 5 3 8 16 12 6 11 ");}
	if(k==147){puts("19");puts("8 4 8 13 10 7 19 16 8 2 7 16 12 3 9 3 17 9 2 ");}
	if(k==148){puts("19");puts("7 12 3 5 12 15 19 15 9 8 13 8 7 1 14 12 2 5 15 ");}
	if(k==149){puts("19");puts("4 2 17 3 13 19 16 3 9 2 6 5 11 16 16 13 6 5 9 ");}
	if(k==150){puts("19");puts("5 10 13 17 6 7 18 10 13 19 15 10 19 2 12 4 5 10 5 ");}
	if(k==151){puts("19");puts("10 3 15 6 19 19 10 16 2 1 14 6 17 17 9 16 2 8 12 ");}
	if(k==152){puts("19");puts("5 1 19 13 2 14 12 11 6 5 16 19 10 7 18 7 19 17 2 ");}
	if(k==153){puts("19");puts("6 18 19 17 14 3 17 1 19 15 9 5 7 4 8 5 9 14 14 ");}
	if(k==154){puts("19");puts("5 7 2 2 13 18 8 10 11 4 11 13 14 19 6 4 14 17 1 ");}
	if(k==155){puts("19");puts("3 15 9 16 12 5 8 6 1 10 11 1 8 16 12 11 13 10 13 ");}
	if(k==156){puts("19");puts("2 18 17 3 11 7 17 7 8 4 12 5 7 8 9 14 9 18 18 ");}
	if(k==157){puts("19");puts("12 5 13 3 16 1 14 18 7 10 19 6 5 17 2 11 11 15 9 ");}
	if(k==158){puts("19");puts("4 4 10 13 18 12 9 11 14 1 15 7 17 19 19 1 8 1 9 ");}
	if(k==159){puts("19");puts("3 15 2 6 2 18 9 15 13 3 13 8 16 8 10 12 5 5 8 ");}
	if(k==160){puts("19");puts("14 18 3 4 2 1 19 4 14 1 16 13 7 15 8 12 2 18 11 ");}
	if(k==161){puts("20");puts("8 8 19 16 7 19 19 10 5 12 7 4 7 17 13 20 17 8 18 18 ");}
	if(k==162){puts("20");puts("6 1 18 16 20 15 13 12 7 5 14 8 6 6 14 7 9 11 6 12 ");}
	if(k==163){puts("20");puts("8 7 1 13 15 4 15 8 2 5 20 14 13 4 5 10 18 9 7 7 ");}
	if(k==164){puts("20");puts("18 3 9 9 5 12 11 19 15 17 11 17 5 9 18 4 10 6 6 17 ");}
	if(k==165){puts("20");puts("2 16 1 10 19 2 20 18 8 11 16 13 16 16 19 18 8 16 5 17 ");}
	if(k==166){puts("20");puts("7 5 17 2 2 12 8 15 2 10 19 7 15 7 8 3 17 19 8 7 ");}
	if(k==167){puts("20");puts("2 9 2 1 1 11 3 7 3 2 8 10 19 1 2 16 10 6 19 8 ");}
	if(k==168){puts("20");puts("4 6 3 13 1 17 18 7 16 20 4 8 4 5 17 9 12 13 19 13 ");}
	if(k==169){puts("20");puts("17 13 3 14 16 20 7 18 10 7 5 11 18 2 5 2 8 16 12 6 ");}
	if(k==170){puts("20");puts("3 16 17 7 4 9 19 11 4 20 14 12 4 7 13 5 20 2 16 16 ");}
	if(k==171){puts("20");puts("3 10 19 15 5 13 1 3 6 2 12 8 2 11 5 16 3 3 7 20 ");}
	if(k==172){puts("20");puts("9 17 18 9 20 10 20 8 2 2 1 2 5 11 7 18 20 11 9 16 ");}
	if(k==173){puts("20");puts("5 10 8 5 18 2 2 18 18 9 20 1 16 17 15 10 20 17 19 4 ");}
	if(k==174){puts("20");puts("5 16 17 4 15 8 12 15 2 7 17 3 16 13 13 1 20 4 19 19 ");}
	if(k==175){puts("20");puts("2 4 3 17 1 6 20 2 1 5 16 4 14 13 8 14 5 12 4 11 ");}
	if(k==176){puts("20");puts("6 17 12 6 9 6 8 20 13 2 11 1 18 10 19 16 16 8 4 3 ");}
	if(k==177){puts("21");puts("15 12 21 19 18 13 10 11 4 6 18 19 6 14 11 9 4 10 9 11 10 ");}
	if(k==178){puts("20");puts("16 19 2 9 5 18 15 19 11 6 11 16 12 1 1 20 16 2 8 9 ");}
	if(k==179){puts("20");puts("4 7 1 18 9 2 5 20 12 20 10 15 5 15 16 6 12 16 18 13 ");}
	if(k==180){puts("21");puts("19 3 18 19 2 13 3 9 1 20 13 19 2 18 15 4 13 6 15 16 20 ");}
	if(k==181){puts("21");puts("5 9 16 5 20 6 18 6 2 3 10 20 5 19 12 17 4 18 2 12 19 ");}
	if(k==182){puts("21");puts("19 17 11 9 9 6 7 19 5 17 7 8 15 9 6 18 3 6 13 15 13 ");}
	if(k==183){puts("21");puts("20 2 12 16 9 19 5 1 7 1 7 14 18 9 20 3 11 2 15 3 17 ");}
	if(k==184){puts("21");puts("5 3 14 2 16 21 16 4 17 11 3 11 8 12 16 17 10 3 4 16 19 ");}
	if(k==185){puts("21");puts("6 1 4 19 4 14 17 14 17 21 9 19 1 1 3 15 19 16 1 5 5 ");}
	if(k==186){puts("21");puts("16 12 9 4 19 11 6 13 20 9 2 16 4 21 12 12 16 7 10 9 4 ");}
	if(k==187){puts("21");puts("5 9 21 16 10 8 9 2 5 10 4 14 5 18 21 1 10 2 8 11 1 ");}
	if(k==188){puts("21");puts("4 5 18 13 11 20 1 17 7 12 17 4 15 6 12 5 14 14 1 9 15 ");}
	if(k==189){puts("21");puts("6 19 15 5 7 21 15 8 15 20 15 17 9 13 14 5 8 7 14 1 11 ");}
	if(k==190){puts("21");puts("11 16 6 15 13 3 1 11 8 2 18 19 13 15 11 7 20 7 21 1 18 ");}
	if(k==191){puts("21");puts("15 3 18 5 13 20 17 3 7 13 12 11 3 5 14 8 18 20 21 11 16 ");}
	if(k==192){puts("21");puts("15 17 12 9 2 5 2 20 20 21 4 9 6 13 21 11 18 10 21 11 7 ");}
	if(k==193){puts("21");puts("21 10 17 18 7 15 19 2 7 2 4 1 14 6 3 11 6 16 4 18 21 ");}
	if(k==194){puts("21");puts("6 8 7 3 18 14 16 12 12 6 8 20 2 2 1 13 20 1 7 16 19 ");}
	if(k==195){puts("21");puts("15 15 13 21 14 19 10 16 14 1 14 11 13 2 2 8 9 5 19 12 6 ");}
	if(k==196){puts("21");puts("18 4 19 20 2 2 4 14 20 10 21 1 7 14 1 11 6 8 14 17 17 ");}
	if(k==197){puts("22");puts("10 14 20 19 17 20 11 12 15 15 12 21 14 20 18 22 3 9 9 9 18 2 ");}
	if(k==198){puts("22");puts("16 2 2 18 9 7 13 18 2 5 12 21 3 5 16 14 2 7 19 3 2 18 ");}
	if(k==199){puts("22");puts("11 17 20 12 20 15 19 13 5 12 14 2 16 20 19 8 11 7 3 6 18 17 ");}
	if(k==200){puts("22");puts("14 7 19 15 7 3 18 18 9 4 7 4 9 19 9 4 21 13 12 22 17 5 ");}
	if(k==201){puts("22");puts("16 17 20 13 5 18 11 11 17 20 3 14 6 20 4 10 16 18 9 17 3 19 ");}
	if(k==202){puts("22");puts("5 2 21 18 1 3 18 2 17 10 4 11 15 16 21 20 2 18 17 6 2 9 ");}
	if(k==203){puts("22");puts("10 1 16 12 11 12 22 6 8 16 7 17 22 17 15 14 15 15 15 18 9 13 ");}
	if(k==204){puts("22");puts("19 17 12 15 4 2 7 15 6 14 2 21 12 5 22 4 17 17 5 9 13 17 ");}
	if(k==205){puts("22");puts("8 19 7 20 15 5 8 9 13 20 12 15 6 13 21 11 3 13 16 10 14 15 ");}
	if(k==206){puts("22");puts("20 13 20 2 13 11 9 2 17 11 3 18 1 12 21 12 6 10 22 10 10 22 ");}
	if(k==207){puts("22");puts("18 4 16 19 22 14 13 11 19 21 10 18 2 10 22 4 21 11 4 20 1 17 ");}
	if(k==208){puts("22");puts("18 21 20 13 16 19 17 19 7 6 5 14 18 20 22 7 10 22 5 1 3 18 ");}
	if(k==209){puts("22");puts("7 15 10 21 3 4 4 12 2 6 20 9 1 5 10 5 20 15 17 8 14 4 ");}
	if(k==210){puts("22");puts("17 6 21 6 8 12 2 9 11 4 13 1 7 13 10 8 16 2 21 1 17 4 ");}
	if(k==211){puts("22");puts("19 3 19 21 16 3 20 22 14 11 11 15 7 18 4 22 20 12 2 21 8 8 ");}
	if(k==212){puts("22");puts("17 21 8 4 19 1 18 15 9 14 7 18 15 12 10 10 13 6 21 16 11 8 ");}
	if(k==213){puts("22");puts("4 5 13 12 4 15 1 16 10 16 2 19 16 11 5 3 11 8 17 13 21 1 ");}
	if(k==214){puts("22");puts("3 2 20 15 15 17 5 18 17 7 22 14 15 13 16 8 18 17 8 12 16 22 ");}
	if(k==215){puts("22");puts("8 19 5 7 8 12 2 19 22 4 20 5 12 3 6 18 10 3 22 11 11 20 ");}
	if(k==216){puts("22");puts("8 11 3 7 12 15 8 13 17 3 15 20 21 20 4 21 2 6 19 10 5 5 ");}
	if(k==217){puts("22");puts("7 21 1 22 1 19 3 22 15 19 3 13 15 15 6 12 2 21 8 3 14 4 ");}
	if(k==218){puts("23");puts("6 13 17 20 9 19 14 13 10 16 12 12 23 19 15 6 14 11 10 11 21 19 5 ");}
	if(k==219){puts("23");puts("16 13 3 5 21 5 3 17 16 5 16 20 13 3 17 14 12 3 20 7 4 17 8 ");}
	if(k==220){puts("22");puts("12 20 18 7 4 7 17 10 2 3 19 17 2 21 3 20 20 16 9 15 6 21 ");}
	if(k==221){puts("23");puts("9 14 16 7 7 16 19 6 7 16 1 5 18 6 5 18 1 1 7 2 8 16 17 ");}
	if(k==222){puts("23");puts("7 7 15 8 10 20 19 5 7 3 17 7 5 5 5 17 8 18 11 13 2 21 16 ");}
	if(k==223){puts("23");puts("5 17 2 3 9 21 2 2 9 2 10 11 14 22 3 1 22 4 15 13 5 23 5 ");}
	if(k==224){puts("23");puts("7 15 19 13 21 9 4 8 10 5 6 6 8 16 13 11 10 15 13 22 3 20 23 ");}
	if(k==225){puts("23");puts("22 18 8 21 16 19 18 11 5 8 1 4 6 3 15 14 22 9 16 10 8 17 14 ");}
	if(k==226){puts("23");puts("7 12 5 21 4 14 8 17 17 22 13 15 23 12 20 1 4 23 3 6 23 7 12 ");}
	if(k==227){puts("23");puts("7 18 9 14 21 21 8 23 14 3 17 1 2 14 1 3 2 4 5 9 12 3 13 ");}
	if(k==228){puts("23");puts("1 10 14 19 23 10 15 12 1 12 16 11 2 18 3 17 9 17 23 7 12 2 21 ");}
	if(k==229){puts("23");puts("16 8 4 14 19 19 10 23 5 22 19 23 12 8 17 20 7 17 8 6 1 9 10 ");}
	if(k==230){puts("23");puts("3 16 20 3 15 22 4 6 7 13 21 5 10 18 13 22 18 18 19 11 20 16 17 ");}
	if(k==231){puts("23");puts("6 12 20 18 9 4 20 23 19 21 23 4 13 13 17 20 11 19 17 22 1 8 2 ");}
	if(k==232){puts("23");puts("8 16 3 3 23 18 13 15 3 15 13 17 9 20 4 1 1 15 6 12 10 21 7 ");}
	if(k==233){puts("23");puts("7 13 15 11 7 1 9 10 10 4 5 7 19 7 4 14 20 14 21 2 1 18 21 ");}
	if(k==234){puts("23");puts("21 16 11 4 12 6 12 8 22 5 17 1 21 4 20 7 13 3 16 1 9 21 12 ");}
	if(k==235){puts("23");puts("4 20 10 15 17 9 22 21 6 2 19 8 18 23 10 3 7 7 23 19 5 3 20 ");}
	if(k==236){puts("23");puts("10 23 13 20 2 22 3 22 4 12 19 19 14 10 21 17 12 1 21 6 18 17 15 ");}
	if(k==237){puts("23");puts("12 9 6 22 15 11 20 11 6 17 5 3 9 22 22 14 21 18 7 18 1 23 3 ");}
	if(k==238){puts("24");puts("15 14 1 21 4 16 19 13 21 4 14 21 15 24 4 4 15 8 19 18 24 24 15 15 ");}
	if(k==239){puts("23");puts("1 22 20 3 4 15 15 12 1 9 13 9 2 8 6 21 7 21 4 16 14 23 12 ");}
	if(k==240){puts("24");puts("22 13 4 17 16 18 7 19 21 20 21 19 15 13 16 17 11 21 9 2 6 4 17 17 ");}
	if(k==241){puts("24");puts("20 3 12 13 22 22 16 22 9 16 3 24 12 9 14 21 4 4 22 3 6 21 4 2 ");}
	if(k==242){puts("24");puts("22 13 9 1 10 7 11 13 16 17 22 11 9 14 8 18 7 6 9 24 12 10 18 19 ");}
	if(k==243){puts("24");puts("6 22 21 16 21 13 24 17 1 8 13 13 7 6 1 24 7 5 11 23 8 19 6 7 ");}
	if(k==244){puts("24");puts("22 8 16 7 5 13 21 10 6 16 3 23 11 20 22 17 5 7 5 13 23 13 18 10 ");}
	if(k==245){puts("24");puts("5 16 4 13 1 22 13 15 6 7 20 2 14 11 19 22 24 14 7 13 4 10 18 16 ");}
	if(k==246){puts("24");puts("1 11 10 6 13 21 10 24 12 5 6 12 24 9 16 12 3 22 1 11 23 21 13 21 ");}
	if(k==247){puts("24");puts("24 9 6 7 8 14 5 9 23 19 5 24 21 20 4 12 24 6 22 13 18 4 23 5 ");}
	if(k==248){puts("24");puts("7 1 6 20 4 1 21 22 12 20 16 22 15 2 22 21 18 15 18 16 16 8 15 19 ");}
	if(k==249){puts("24");puts("6 12 11 23 24 24 20 17 7 8 10 1 21 19 9 2 1 13 7 9 2 2 2 2 ");}
	if(k==250){puts("24");puts("12 20 8 21 16 23 13 6 12 13 14 19 1 13 6 15 16 7 19 15 21 7 5 24 ");}
	if(k==251){puts("24");puts("21 7 23 18 20 22 23 20 19 13 24 20 12 22 13 6 3 16 8 18 17 19 24 23 ");}
	if(k==252){puts("24");puts("8 16 5 6 9 21 15 22 16 23 24 19 16 7 5 20 8 12 10 9 18 5 10 21 ");}
	if(k==253){puts("24");puts("18 24 18 20 23 7 9 10 12 6 5 15 23 14 14 8 13 21 4 8 16 15 16 11 ");}
	if(k==254){puts("24");puts("7 13 13 24 13 22 23 6 17 3 18 10 18 15 24 9 4 14 11 17 12 4 22 6 ");}
	if(k==255){puts("24");puts("17 16 23 2 20 22 14 19 5 4 3 11 15 17 13 21 9 4 20 17 16 11 12 21 ");}
	if(k==256){puts("24");puts("19 22 6 6 8 9 6 17 15 5 21 2 12 1 23 1 18 9 19 22 16 13 11 4 ");}
	if(k==257){puts("24");puts("19 11 1 5 3 23 12 20 23 8 7 4 21 22 14 15 13 14 13 6 9 20 24 24 ");}
	if(k==258){puts("24");puts("7 23 24 6 9 15 11 18 18 10 20 24 22 22 2 20 14 22 21 20 5 5 16 21 ");}
	if(k==259){puts("24");puts("6 8 15 20 4 15 7 19 10 9 21 3 1 13 17 23 8 19 2 23 2 3 13 16 ");}
	if(k==260){puts("25");puts("9 10 19 1 8 19 1 14 14 24 24 22 20 4 19 17 1 10 23 6 19 11 24 7 22 ");}
	if(k==261){puts("25");puts("17 13 22 2 17 2 13 17 22 14 10 1 15 21 1 11 10 10 21 24 16 4 18 14 17 ");}
	if(k==262){puts("25");puts("18 7 3 18 12 21 21 3 5 19 14 23 24 12 14 13 12 12 12 12 11 23 16 15 7 ");}
	if(k==263){puts("25");puts("2 16 7 12 18 12 21 13 15 9 16 15 13 11 7 20 21 8 10 24 12 10 1 5 13 ");}
	if(k==264){puts("25");puts("18 10 2 13 19 17 14 23 8 3 13 18 3 15 8 3 2 18 7 17 18 24 8 13 4 ");}
	if(k==265){puts("25");puts("7 13 24 19 14 5 22 16 20 22 14 2 16 5 11 21 13 12 21 11 25 13 19 15 5 ");}
	if(k==266){puts("25");puts("25 23 1 4 11 15 4 13 19 22 25 22 15 1 7 23 24 19 21 12 15 21 2 13 17 ");}
	if(k==267){puts("25");puts("1 24 7 13 22 8 22 10 7 6 5 13 1 16 22 20 7 2 3 7 2 8 17 11 4 ");}
	if(k==268){puts("25");puts("21 10 23 9 8 4 22 20 19 12 4 17 11 20 7 23 11 9 23 21 19 10 11 24 5 ");}
	if(k==269){puts("25");puts("10 11 3 5 16 8 21 4 10 2 10 5 14 9 10 13 13 5 18 19 13 4 14 18 24 ");}
	if(k==270){puts("25");puts("12 24 5 22 1 25 7 6 11 3 14 22 1 25 2 19 5 13 2 24 21 2 10 7 21 ");}
	if(k==271){puts("25");puts("24 23 20 17 5 6 16 18 20 5 21 8 24 2 4 22 10 16 19 19 14 13 19 23 13 ");}
	if(k==272){puts("25");puts("3 23 11 18 5 21 9 10 8 14 13 16 21 3 7 10 17 18 22 7 20 2 25 22 11 ");}
	if(k==273){puts("25");puts("17 12 5 1 22 15 4 3 18 12 2 8 22 7 5 21 10 13 3 10 18 2 9 10 12 ");}
	if(k==274){puts("25");puts("3 13 13 13 23 9 24 2 6 11 22 17 25 1 23 25 7 25 20 3 16 2 12 5 25 ");}
	if(k==275){puts("25");puts("18 15 12 17 6 20 15 19 20 14 24 12 25 11 23 5 21 7 12 20 21 17 13 22 19 ");}
	if(k==276){puts("25");puts("19 1 1 11 17 13 13 3 24 13 1 15 2 3 4 21 14 3 14 20 9 12 16 17 10 ");}
	if(k==277){puts("25");puts("25 3 16 21 20 7 4 8 11 5 21 2 17 23 2 6 11 23 14 19 14 4 11 19 18 ");}
	if(k==278){puts("25");puts("25 23 16 18 18 10 5 8 2 17 12 20 6 23 22 20 22 19 12 25 21 4 24 1 16 ");}
	if(k==279){puts("25");puts("7 16 9 24 8 22 21 3 20 23 9 25 3 23 2 19 15 20 20 12 12 10 4 11 9 ");}
	if(k==280){puts("25");puts("12 25 14 7 10 25 25 1 18 6 1 9 13 20 16 15 17 9 16 2 4 7 13 21 17 ");}
	if(k==281){puts("25");puts("8 15 8 24 10 20 14 13 25 5 21 6 16 4 3 25 24 24 4 7 2 16 17 16 20 ");}
	if(k==282){puts("25");puts("2 12 16 5 24 3 13 15 15 18 1 12 3 4 24 24 10 9 16 16 7 20 14 8 14 ");}
	if(k==283){puts("26");puts("15 3 26 19 25 15 2 9 17 20 13 6 13 10 9 10 9 24 22 15 11 10 9 12 3 10 ");}
	if(k==284){puts("25");puts("17 10 13 4 12 8 18 6 18 1 23 24 25 5 23 21 2 9 25 5 4 22 12 8 7 ");}
	if(k==285){puts("26");puts("15 24 18 9 8 3 14 7 13 5 17 24 18 9 19 4 18 26 5 10 18 9 26 10 15 21 ");}
	if(k==286){puts("26");puts("14 9 13 10 10 14 13 15 12 9 23 12 8 13 13 4 10 19 18 16 22 5 15 8 5 4 ");}
	if(k==287){puts("26");puts("23 25 15 13 5 19 7 5 11 3 13 1 1 12 3 14 8 25 6 26 15 9 16 26 16 12 ");}
	if(k==288){puts("26");puts("12 12 12 2 12 14 1 11 5 12 15 3 14 26 4 11 24 14 20 8 1 25 18 17 11 3 ");}
	if(k==289){puts("26");puts("21 21 13 16 7 10 4 25 14 5 16 23 7 20 19 6 18 24 18 14 19 15 24 18 3 16 ");}
	if(k==290){puts("26");puts("2 5 15 17 9 19 6 20 4 24 9 12 25 8 9 5 21 7 23 14 3 5 24 16 19 4 ");}
	if(k==291){puts("26");puts("6 15 11 2 13 25 22 10 13 21 9 15 15 20 12 2 10 1 2 1 14 19 3 9 13 15 ");}
	if(k==292){puts("26");puts("5 24 1 22 16 16 3 17 10 11 9 13 6 23 13 19 26 15 21 25 23 26 10 13 17 25 ");}
	if(k==293){puts("26");puts("1 17 7 20 17 24 24 19 10 22 13 5 14 4 24 4 1 17 5 21 24 18 5 16 25 7 ");}
	if(k==294){puts("26");puts("13 4 10 16 26 3 16 1 25 25 22 19 17 23 20 13 7 23 18 9 12 10 16 26 2 4 ");}
	if(k==295){puts("26");puts("11 2 12 9 19 3 13 21 25 12 1 12 6 20 19 7 12 15 7 22 23 18 1 20 9 16 ");}
	if(k==296){puts("26");puts("13 15 2 25 18 4 4 5 1 14 9 14 11 1 26 26 20 8 10 5 5 10 10 3 16 6 ");}
	if(k==297){puts("26");puts("15 16 25 8 3 7 26 11 1 12 23 1 10 25 26 13 1 2 15 20 5 15 19 8 7 10 ");}
	if(k==298){puts("26");puts("9 18 2 6 3 15 10 6 17 3 5 12 15 14 5 9 25 10 4 1 21 11 15 26 10 2 ");}
	if(k==299){puts("26");puts("8 1 16 10 20 22 21 25 20 22 15 2 15 11 26 4 18 21 26 1 19 22 14 17 6 1 ");}
	if(k==300){puts("26");puts("23 5 9 18 12 24 23 5 7 21 24 1 15 2 4 12 5 2 26 16 17 8 14 4 4 10 ");}
	if(k==301){puts("26");puts("18 23 3 23 19 19 25 22 2 17 24 2 13 20 21 8 9 8 17 9 10 4 17 18 24 12 ");}
	if(k==302){puts("26");puts("3 20 4 2 25 25 8 3 24 6 6 24 6 12 25 1 14 11 14 10 5 21 23 11 26 9 ");}
	if(k==303){puts("26");puts("13 4 17 13 23 7 12 3 5 24 1 25 22 26 9 21 6 16 19 3 15 5 2 11 17 12 ");}
	if(k==304){puts("26");puts("17 17 26 25 20 14 6 5 8 9 22 24 21 16 13 3 15 2 6 19 4 5 24 1 12 25 ");}
	if(k==305){puts("26");puts("13 25 19 25 4 7 15 8 3 19 23 3 18 8 6 9 11 7 26 1 23 22 23 8 19 1 ");}
	if(k==306){puts("26");puts("23 20 6 2 7 21 18 6 1 26 3 2 10 11 24 24 13 22 15 15 12 11 21 4 12 14 ");}
	if(k==307){puts("26");puts("4 7 18 11 23 4 26 8 24 21 23 1 10 15 17 14 17 11 17 4 13 12 25 2 22 12 ");}
	if(k==308){puts("26");puts("22 25 23 25 1 24 6 20 11 19 5 11 21 2 1 13 8 8 20 19 8 12 5 22 21 15 ");}
	if(k==309){puts("27");puts("6 27 23 11 16 23 12 14 6 12 18 4 3 23 22 7 12 12 17 25 16 23 1 14 14 12 25 ");}
	if(k==310){puts("27");puts("8 8 4 20 21 9 1 17 4 24 11 12 1 1 24 12 9 16 1 16 27 27 9 22 24 11 9 ");}
	if(k==311){puts("27");puts("16 13 22 18 27 25 19 22 8 19 18 18 22 4 5 24 21 21 27 24 16 27 13 17 19 11 23 ");}
	if(k==312){puts("27");puts("14 10 7 25 27 23 7 27 18 6 14 16 25 13 5 9 16 7 9 9 13 1 26 22 18 25 25 ");}
	if(k==313){puts("27");puts("18 5 27 9 19 19 23 11 13 19 21 12 8 8 3 1 7 18 22 8 16 19 19 9 15 11 15 ");}
	if(k==314){puts("27");puts("22 25 8 17 1 19 20 21 23 20 2 2 14 19 8 27 7 13 3 19 12 17 19 27 3 27 27 ");}
	if(k==315){puts("27");puts("10 25 24 15 2 21 27 8 11 2 5 18 3 17 19 15 19 13 16 2 1 10 17 7 26 18 15 ");}
	if(k==316){puts("27");puts("19 6 2 7 1 11 13 12 26 3 6 15 19 6 20 1 1 24 13 22 21 20 1 9 2 11 26 ");}
	if(k==317){puts("27");puts("12 16 14 18 11 3 17 2 11 8 4 21 13 25 11 7 2 27 13 22 27 24 10 19 2 21 23 ");}
	if(k==318){puts("27");puts("26 19 13 10 27 5 23 12 20 18 20 17 20 23 27 10 1 19 25 21 25 26 21 3 11 16 1 ");}
	if(k==319){puts("27");puts("9 13 3 14 9 13 27 1 14 15 17 12 12 19 8 2 16 15 26 27 8 11 7 11 24 13 1 ");}
	if(k==320){puts("27");puts("23 13 22 17 26 15 1 25 10 3 4 6 14 24 3 23 11 23 3 17 11 24 23 14 21 5 23 ");}
	if(k==321){puts("27");puts("15 25 1 23 7 19 3 7 15 10 15 26 19 22 27 19 21 25 2 5 13 3 23 6 27 5 18 ");}
	if(k==322){puts("27");puts("5 27 19 1 27 11 13 13 25 12 20 27 21 19 23 23 6 21 15 3 9 4 11 19 26 20 10 ");}
	if(k==323){puts("27");puts("27 11 18 19 6 7 24 15 25 18 22 23 15 23 25 11 13 25 24 1 9 7 9 19 22 9 4 ");}
	if(k==324){puts("27");puts("10 18 15 21 6 16 23 21 26 15 23 1 8 4 17 16 12 15 14 7 21 1 18 17 19 5 27 ");}
	if(k==325){puts("27");puts("24 27 14 12 18 21 16 2 16 22 23 22 18 1 10 24 23 23 8 25 8 17 20 9 14 2 9 ");}
	if(k==326){puts("27");puts("16 10 8 8 8 24 9 19 2 7 27 17 7 11 21 17 21 16 17 6 3 1 1 21 22 13 4 ");}
	if(k==327){puts("27");puts("26 23 23 2 4 22 21 20 5 7 12 6 16 9 15 5 23 27 25 17 10 13 21 10 22 15 11 ");}
	if(k==328){puts("27");puts("7 24 16 20 1 27 16 1 22 17 5 18 18 5 8 15 8 7 15 25 4 26 14 10 6 23 27 ");}
	if(k==329){puts("27");puts("21 21 23 25 18 8 3 17 10 24 9 8 12 7 12 6 11 24 21 1 1 8 20 20 17 5 26 ");}
	if(k==330){puts("27");puts("20 23 23 1 18 13 25 16 24 4 5 4 19 1 7 8 27 14 17 12 18 3 2 9 15 24 2 ");}
	if(k==331){puts("27");puts("18 23 19 20 8 26 26 2 7 27 12 15 4 10 21 24 2 17 1 11 3 3 23 6 9 5 1 ");}
	if(k==332){puts("27");puts("10 23 24 14 22 14 20 3 27 20 18 18 5 19 25 22 27 26 3 16 6 16 7 11 26 1 7 ");}
	if(k==333){puts("28");puts("17 12 19 20 24 11 9 19 5 20 12 9 22 19 11 27 20 18 15 10 16 13 12 7 25 14 18 9 ");}
	if(k==334){puts("28");puts("17 23 23 11 10 8 26 10 5 1 10 9 20 24 18 14 13 5 21 10 26 20 22 14 5 13 22 13 ");}
	if(k==335){puts("28");puts("3 18 26 8 15 24 3 15 2 6 16 17 19 7 7 15 15 24 12 22 12 6 4 2 6 8 14 8 ");}
	if(k==336){puts("28");puts("15 9 13 13 25 23 15 22 10 14 20 17 1 16 2 28 24 10 9 9 14 14 4 28 16 19 22 13 ");}
	if(k==337){puts("28");puts("21 4 16 5 9 25 10 21 11 1 10 2 5 16 11 1 27 4 13 6 7 2 21 13 11 18 10 21 ");}
	if(k==338){puts("28");puts("26 5 26 14 22 16 10 6 4 22 20 14 27 19 18 20 13 18 12 3 22 8 9 15 24 11 25 22 ");}
	if(k==339){puts("28");puts("7 17 25 4 17 11 16 2 12 28 7 6 10 11 25 20 17 27 6 9 21 7 26 18 26 17 12 18 ");}
	if(k==340){puts("28");puts("11 21 27 19 27 11 21 16 26 1 14 8 24 4 28 5 12 2 27 1 26 23 10 6 26 27 4 26 ");}
	if(k==341){puts("28");puts("12 5 5 13 16 19 24 2 7 24 20 22 27 13 20 16 13 14 19 9 27 25 10 22 7 3 1 27 ");}
	if(k==342){puts("28");puts("13 20 6 21 11 6 27 18 10 18 17 12 12 27 15 6 10 5 9 5 16 15 25 13 28 13 21 3 ");}
	if(k==343){puts("28");puts("5 13 22 15 12 19 10 11 14 10 13 3 27 23 16 27 11 2 7 12 26 15 5 7 8 10 14 25 ");}
	if(k==344){puts("28");puts("8 28 20 11 8 19 5 18 2 23 12 3 26 13 2 18 3 6 22 21 16 3 3 13 9 6 8 22 ");}
	if(k==345){puts("28");puts("25 28 12 25 6 3 24 14 6 5 14 20 13 7 2 7 11 4 18 10 8 5 4 21 11 5 5 12 ");}
	if(k==346){puts("28");puts("15 21 28 17 10 25 2 7 11 14 8 13 19 23 16 18 2 6 25 27 12 14 2 4 17 20 18 16 ");}
	if(k==347){puts("28");puts("9 26 17 19 9 23 14 4 10 13 16 6 13 9 1 21 27 5 27 27 12 6 8 11 13 17 1 12 ");}
	if(k==348){puts("28");puts("18 2 6 28 3 7 19 12 13 2 12 7 21 10 3 17 13 25 26 21 23 20 22 22 10 20 14 27 ");}
	if(k==349){puts("28");puts("24 14 12 3 1 14 19 15 28 3 1 6 23 19 19 26 21 19 26 16 4 10 21 28 13 5 20 20 ");}
	if(k==350){puts("28");puts("23 14 3 25 16 17 12 6 21 24 24 1 22 4 14 5 4 14 14 20 3 2 27 12 19 13 10 2 ");}
	if(k==351){puts("28");puts("9 17 16 23 25 24 24 10 5 10 21 2 28 27 18 23 2 11 22 2 22 27 1 15 22 7 21 4 ");}
	if(k==352){puts("28");puts("9 26 7 5 8 12 1 4 22 17 25 12 10 14 16 10 1 16 20 19 26 1 18 24 22 15 18 23 ");}
	if(k==353){puts("28");puts("13 14 25 6 7 1 16 7 5 26 9 20 20 13 3 8 16 2 22 19 25 14 19 19 10 2 26 4 ");}
	if(k==354){puts("28");puts("25 24 19 11 13 22 18 24 27 4 4 13 15 10 22 23 4 16 15 5 28 11 8 1 27 22 16 26 ");}
	if(k==355){puts("28");puts("16 26 17 24 16 11 27 27 8 28 5 21 22 15 3 2 10 1 22 28 18 18 4 8 6 4 15 16 ");}
	if(k==356){puts("28");puts("26 21 24 5 14 1 8 19 11 3 24 15 13 16 6 19 23 9 25 18 7 25 27 27 1 20 15 17 ");}
	if(k==357){puts("28");puts("24 8 27 20 3 2 1 5 25 16 25 5 10 27 25 7 11 1 28 13 2 6 22 9 16 9 18 21 ");}
	if(k==358){puts("28");puts("1 28 3 5 14 26 3 24 11 17 8 23 5 27 27 3 23 19 8 4 4 9 8 22 17 25 2 5 ");}
	if(k==359){puts("29");puts("4 12 17 21 21 17 28 8 17 19 29 17 12 19 23 16 11 9 15 13 16 27 25 4 24 17 23 25 22 ");}
	if(k==360){puts("28");puts("1 15 12 2 25 25 8 16 5 26 6 26 24 16 24 14 21 9 11 7 27 22 20 26 4 22 3 14 ");}
	if(k==361){puts("29");puts("20 10 10 20 10 17 27 26 20 22 8 11 20 3 11 6 19 29 27 11 17 17 14 20 14 26 21 5 8 ");}
	if(k==362){puts("29");puts("15 12 23 11 19 23 23 26 4 23 15 24 12 18 13 1 18 13 16 22 29 14 12 1 10 25 21 6 14 ");}
	if(k==363){puts("29");puts("13 17 29 28 9 29 6 19 15 11 9 26 11 26 6 25 18 9 14 29 9 29 6 1 27 12 7 4 7 ");}
	if(k==364){puts("29");puts("10 20 3 21 17 12 4 12 11 23 29 27 20 27 15 16 9 24 21 3 9 21 5 4 27 9 15 27 12 ");}
	if(k==365){puts("29");puts("8 1 11 17 6 13 2 13 18 1 25 18 24 18 1 28 21 17 16 16 4 7 16 21 14 2 13 8 18 ");}
	if(k==366){puts("29");puts("13 2 24 12 24 9 17 25 22 8 12 23 8 3 20 23 21 9 28 17 4 18 3 17 25 6 17 13 13 ");}
	if(k==367){puts("29");puts("17 22 18 15 2 22 28 23 29 23 7 7 27 21 1 8 3 6 2 3 8 14 8 13 26 17 7 2 21 ");}
	if(k==368){puts("29");puts("22 1 10 23 1 27 6 20 22 20 29 22 15 9 4 9 23 6 20 5 13 7 27 26 8 21 13 8 17 ");}
	if(k==369){puts("29");puts("11 4 12 29 25 3 29 13 17 19 7 10 3 7 26 19 26 11 15 29 4 19 2 27 7 12 13 18 2 ");}
	if(k==370){puts("29");puts("8 8 6 15 22 20 14 11 2 11 1 28 16 15 2 11 7 22 29 4 2 8 19 14 29 14 21 2 26 ");}
	if(k==371){puts("29");puts("9 16 22 23 16 12 26 12 25 22 13 27 8 12 5 23 3 20 11 14 24 14 4 3 28 11 25 24 4 ");}
	if(k==372){puts("29");puts("10 23 8 28 16 9 12 16 7 2 5 2 29 20 5 13 10 18 22 22 9 8 26 10 7 28 20 12 24 ");}
	if(k==373){puts("29");puts("11 25 15 25 26 19 16 16 2 15 23 12 19 14 19 8 17 20 5 2 29 7 16 2 26 22 8 26 5 ");}
	if(k==374){puts("29");puts("17 26 19 3 18 27 8 17 29 28 20 22 23 24 7 7 6 25 10 26 12 24 27 24 28 5 23 21 24 ");}
	if(k==375){puts("29");puts("4 1 29 24 13 11 11 7 8 5 6 13 29 2 2 9 12 20 19 16 21 16 2 10 10 18 19 16 15 ");}
	if(k==376){puts("29");puts("20 10 10 14 1 28 12 2 2 17 5 17 15 29 3 21 9 22 12 6 2 1 29 16 28 1 20 22 19 ");}
	if(k==377){puts("29");puts("5 16 27 6 2 5 12 29 14 14 10 1 17 14 28 18 3 14 26 15 8 6 16 24 11 28 4 7 13 ");}
	if(k==378){puts("29");puts("27 13 23 28 22 8 15 15 21 20 21 2 17 21 1 28 5 6 4 8 29 17 9 26 7 22 14 23 28 ");}
	if(k==379){puts("29");puts("3 16 3 8 8 11 28 9 10 13 28 17 26 4 29 13 13 22 21 17 1 14 2 4 11 3 10 6 6 ");}
	if(k==380){puts("29");puts("16 26 24 2 7 22 8 25 8 23 16 1 14 14 6 15 13 26 10 11 28 11 23 9 6 27 9 24 3 ");}
	if(k==381){puts("29");puts("25 16 13 11 24 10 20 3 24 27 3 2 20 25 9 5 3 14 28 7 6 6 2 27 23 17 5 8 26 ");}
	if(k==382){puts("29");puts("21 12 3 27 23 10 22 6 2 8 17 10 11 25 26 20 25 5 29 13 12 4 1 29 3 7 26 18 20 ");}
	if(k==383){puts("29");puts("13 18 1 17 2 29 9 19 13 19 8 25 20 17 8 22 12 5 27 10 15 12 10 11 25 25 26 3 3 ");}
	if(k==384){puts("29");puts("19 3 3 16 11 17 25 8 23 17 10 23 16 4 27 18 7 18 5 26 6 22 6 5 3 28 9 26 9 ");}
	if(k==385){puts("29");puts("24 20 25 29 17 11 27 16 9 9 4 28 7 7 5 23 14 1 8 12 9 20 2 3 29 4 21 5 21 ");}
	if(k==386){puts("29");puts("7 23 14 23 18 18 22 25 15 3 18 4 17 13 27 5 27 5 9 28 21 24 26 3 19 15 2 12 11 ");}
	if(k==387){puts("29");puts("10 25 22 4 20 5 27 3 29 29 8 25 26 24 13 1 21 6 19 24 12 26 1 28 19 20 15 11 6 ");}
	if(k==388){puts("30");puts("9 25 30 21 26 19 19 12 18 11 17 21 4 18 1 17 7 2 28 2 5 9 4 25 24 17 26 21 26 30 ");}
	if(k==389){puts("30");puts("17 5 22 19 16 14 12 14 2 1 22 21 12 25 5 8 12 20 14 28 8 21 22 25 8 16 15 20 4 16 ");}
	if(k==390){puts("30");puts("9 14 8 3 22 26 17 29 22 22 15 20 8 2 10 20 21 2 6 9 8 7 8 6 4 11 26 20 28 22 ");}
	if(k==391){puts("30");puts("24 7 6 18 25 15 27 16 29 17 25 15 25 26 2 26 14 10 9 10 3 29 18 14 25 17 7 26 26 19 ");}
	if(k==392){puts("30");puts("11 13 10 17 11 9 8 16 1 21 19 12 16 22 18 17 15 9 13 19 23 4 12 9 25 27 20 24 12 10 ");}
	if(k==393){puts("30");puts("9 27 10 4 4 27 15 5 19 15 28 30 6 10 27 19 26 10 26 26 9 23 29 29 19 25 9 16 4 11 ");}
	if(k==394){puts("30");puts("8 25 13 22 3 5 11 21 16 24 10 25 22 22 26 7 24 10 2 5 17 30 17 2 14 19 2 30 23 4 ");}
	if(k==395){puts("30");puts("6 16 2 9 12 7 18 19 12 2 16 27 5 6 23 1 17 8 18 19 29 5 12 2 28 16 3 7 5 27 ");}
	if(k==396){puts("30");puts("26 2 2 2 25 25 12 1 7 14 19 23 7 10 19 28 21 25 15 2 14 16 17 8 13 1 25 9 29 15 ");}
	if(k==397){puts("30");puts("4 5 3 23 8 20 22 28 22 7 11 17 21 25 23 24 25 21 6 26 2 11 28 20 16 23 2 4 26 2 ");}
	if(k==398){puts("30");puts("27 19 4 5 4 28 16 20 10 5 24 12 29 9 3 10 3 22 15 12 3 7 4 29 13 12 28 5 2 21 ");}
	if(k==399){puts("30");puts("29 11 18 29 20 24 25 10 22 6 9 16 13 11 16 6 21 5 23 17 18 30 5 11 12 9 3 25 23 14 ");}
	if(k==400){puts("30");puts("24 24 23 18 4 7 12 18 28 16 22 9 26 3 6 6 9 29 29 9 9 11 17 6 29 11 4 20 10 12 ");}
	if(k==401){puts("30");puts("27 6 29 23 28 27 12 15 30 11 1 14 6 25 13 22 15 5 17 21 24 28 13 9 29 30 23 17 17 16 ");}
	if(k==402){puts("30");puts("10 4 3 30 4 1 10 3 2 28 24 29 7 5 28 29 21 11 20 30 16 29 26 21 26 16 14 18 23 15 ");}
	if(k==403){puts("30");puts("2 24 27 16 1 27 10 8 13 23 27 18 6 27 8 28 19 8 18 30 12 6 29 6 19 20 10 21 11 25 ");}
	if(k==404){puts("30");puts("29 18 15 18 13 20 6 9 7 27 14 29 1 3 4 19 26 11 17 26 11 16 2 25 20 15 27 19 13 14 ");}
	if(k==405){puts("30");puts("19 8 3 2 2 25 12 10 10 9 18 27 6 21 18 25 24 27 1 29 9 16 7 1 23 28 25 6 1 24 ");}
	if(k==406){puts("30");puts("4 18 19 16 7 6 15 30 14 25 8 25 23 1 24 26 5 6 22 9 16 5 27 26 27 25 14 14 28 12 ");}
	if(k==407){puts("30");puts("28 4 14 17 2 25 11 2 18 1 19 6 23 27 21 8 30 27 11 27 14 1 17 26 6 3 9 1 15 20 ");}
	if(k==408){puts("30");puts("21 8 27 25 9 24 19 5 15 29 7 19 17 16 30 23 20 23 12 12 3 20 27 9 28 10 2 10 20 12 ");}
	if(k==409){puts("30");puts("3 24 21 13 2 30 28 12 12 21 23 23 6 15 9 15 1 28 22 30 30 23 19 9 1 5 19 4 22 3 ");}
	if(k==410){puts("30");puts("1 2 22 12 22 4 25 20 1 27 10 2 23 1 14 21 27 15 21 30 21 26 17 5 24 7 17 13 22 16 ");}
	if(k==411){puts("30");puts("12 8 14 14 21 18 29 18 4 7 30 29 20 20 22 28 25 26 30 18 3 19 15 10 2 14 19 1 21 9 ");}
	if(k==412){puts("30");puts("9 5 3 8 12 27 10 28 26 2 18 19 2 14 10 13 1 18 29 2 13 19 12 22 30 6 15 29 4 23 ");}
	if(k==413){puts("30");puts("8 16 2 4 29 18 13 26 3 25 4 30 12 6 26 30 3 1 27 30 14 7 5 20 4 22 15 30 15 13 ");}
	if(k==414){puts("30");puts("11 26 26 24 26 28 17 28 9 16 1 13 27 2 29 16 13 3 6 12 29 9 17 20 20 24 6 1 19 10 ");}
	if(k==415){puts("31");puts("18 5 20 2 14 14 17 5 6 7 14 11 20 28 12 11 27 15 15 7 24 29 19 10 28 8 20 9 17 12 16 ");}
	if(k==416){puts("31");puts("6 14 22 15 26 9 15 4 18 22 5 8 13 23 22 22 31 8 13 24 10 22 17 15 9 30 23 24 22 12 27 ");}
	if(k==417){puts("30");puts("27 1 23 17 4 4 15 10 30 1 28 6 3 2 25 15 20 27 24 30 12 21 30 26 7 18 3 19 8 16 ");}
	if(k==418){puts("31");puts("25 17 28 10 18 22 27 30 24 3 5 16 27 23 23 24 24 26 16 31 22 9 9 24 6 14 28 17 23 23 30 ");}
	if(k==419){puts("31");puts("26 10 29 18 2 12 9 18 30 19 7 23 15 3 8 9 12 25 3 2 18 31 21 19 21 12 9 2 30 24 19 ");}
	if(k==420){puts("31");puts("15 15 8 12 16 12 5 28 13 21 13 30 13 15 10 9 27 6 29 26 25 31 14 13 30 25 13 7 6 4 2 ");}
	if(k==421){puts("31");puts("15 10 14 15 2 3 4 14 3 12 10 24 9 23 12 22 2 15 24 24 3 4 6 10 28 29 11 18 28 28 27 ");}
	if(k==422){puts("31");puts("10 9 11 31 31 11 28 22 8 9 4 5 17 23 23 24 14 28 3 16 28 30 15 20 25 31 19 23 28 16 19 ");}
	if(k==423){puts("31");puts("15 4 16 23 3 25 27 21 8 27 28 22 21 22 2 27 9 11 21 6 17 24 19 6 26 30 29 27 3 21 6 ");}
	if(k==424){puts("31");puts("17 13 17 5 5 1 9 4 29 28 30 31 28 15 9 26 30 15 30 11 29 22 20 23 28 20 15 11 3 24 5 ");}
	if(k==425){puts("31");puts("24 14 19 14 4 7 16 30 19 25 10 15 14 18 23 26 14 31 1 18 8 19 9 30 17 6 2 1 7 6 6 ");}
	if(k==426){puts("31");puts("19 21 3 10 13 29 5 21 31 27 28 21 25 7 7 31 22 6 27 24 29 25 16 26 21 18 10 20 11 11 24 ");}
	if(k==427){puts("31");puts("2 2 22 13 17 15 17 10 29 25 1 14 10 31 19 12 31 12 14 29 26 30 7 14 19 2 22 7 4 18 11 ");}
	if(k==428){puts("31");puts("12 16 1 6 10 1 16 23 27 6 8 5 22 12 11 25 15 27 11 4 30 6 27 16 19 10 12 25 26 11 28 ");}
	if(k==429){puts("31");puts("31 25 22 5 17 30 15 25 17 7 8 31 25 12 19 14 3 4 3 2 21 12 27 29 22 15 27 12 3 24 2 ");}
	if(k==430){puts("31");puts("10 31 29 18 6 12 12 29 4 9 9 21 12 29 30 17 20 15 13 9 26 1 17 15 15 15 18 21 3 16 8 ");}
	if(k==431){puts("31");puts("21 21 22 7 14 10 31 3 3 24 19 19 2 18 4 11 10 1 23 6 20 13 22 13 4 31 8 28 4 11 25 ");}
	if(k==432){puts("31");puts("13 9 12 26 28 16 14 18 23 6 17 4 1 24 19 22 11 24 3 10 25 2 19 26 4 29 27 23 14 27 24 ");}
	if(k==433){puts("31");puts("22 6 7 2 17 9 26 31 24 19 16 27 17 21 27 27 8 20 12 10 31 29 15 13 3 10 16 30 8 12 3 ");}
	if(k==434){puts("31");puts("11 27 25 1 28 28 4 8 20 17 14 3 18 30 11 17 24 19 23 31 18 19 5 14 30 15 5 15 21 14 8 ");}
	if(k==435){puts("31");puts("25 23 25 2 18 12 16 28 22 30 4 10 18 24 24 18 19 28 27 14 15 12 1 8 6 1 10 14 30 5 4 ");}
	if(k==436){puts("31");puts("8 19 29 4 20 30 23 29 28 15 15 19 2 31 23 12 7 2 25 1 31 2 14 11 16 22 3 11 24 5 28 ");}
	if(k==437){puts("31");puts("15 14 29 15 4 2 19 3 1 29 12 23 23 31 26 7 28 4 22 30 19 20 17 1 21 4 18 16 28 24 14 ");}
	if(k==438){puts("31");puts("26 31 18 25 1 25 17 16 6 13 5 8 12 22 3 23 28 16 26 1 24 28 20 8 9 27 27 17 29 21 18 ");}
	if(k==439){puts("31");puts("10 18 15 27 13 17 5 20 13 29 27 1 7 28 6 11 6 2 22 21 26 29 5 9 29 21 20 3 13 8 28 ");}
	if(k==440){puts("31");puts("21 9 1 20 5 18 22 17 4 29 9 9 26 29 3 5 20 19 2 12 31 10 21 10 17 17 23 8 21 16 30 ");}
	if(k==441){puts("31");puts("9 30 17 31 9 21 5 30 4 8 17 31 22 5 25 2 9 26 11 19 25 19 8 3 14 14 17 26 10 12 24 ");}
	if(k==442){puts("31");puts("2 21 31 28 2 28 29 1 21 2 21 30 26 1 22 8 24 24 19 24 13 15 15 23 30 19 18 4 7 6 26 ");}
	if(k==443){puts("32");puts("24 8 13 12 22 25 30 16 6 13 15 25 27 2 21 24 14 28 23 6 5 20 21 21 25 18 10 7 23 31 14 30 ");}
	if(k==444){puts("31");puts("13 19 5 24 17 23 26 12 2 29 29 26 1 27 18 14 1 30 18 24 24 6 11 21 3 14 13 5 12 28 22 ");}
	if(k==445){puts("32");puts("10 7 10 31 16 27 17 31 21 31 14 11 4 30 15 15 5 16 28 32 16 28 17 23 2 27 18 31 17 30 26 17 ");}
	if(k==446){puts("32");puts("22 32 19 21 20 21 5 11 13 22 30 14 16 7 30 20 11 11 14 17 20 21 5 11 7 27 17 13 17 13 20 31 ");}
	if(k==447){puts("32");puts("32 28 32 29 28 11 10 22 4 23 27 6 13 16 18 29 23 7 11 22 32 19 19 27 24 19 27 11 21 21 11 27 ");}
	if(k==448){puts("32");puts("22 9 24 4 7 21 23 30 20 3 17 3 5 8 23 21 11 4 24 15 1 21 12 30 18 11 19 18 28 28 25 21 ");}
	if(k==449){puts("32");puts("7 14 25 8 26 19 8 29 18 5 5 11 29 6 28 25 20 29 6 17 11 29 24 1 6 9 27 1 14 24 28 23 ");}
	if(k==450){puts("32");puts("15 18 2 25 18 28 13 31 10 20 5 19 27 29 21 3 8 32 16 9 20 3 18 29 7 29 9 8 19 9 20 28 ");}
	if(k==451){puts("32");puts("31 16 17 5 19 22 26 26 3 25 22 15 9 26 25 24 24 19 31 17 10 2 32 2 26 10 5 2 19 22 25 26 ");}
	if(k==452){puts("32");puts("29 29 7 25 32 5 25 8 13 22 32 31 23 5 16 30 20 29 20 10 4 20 29 5 15 29 32 2 14 31 25 23 ");}
	if(k==453){puts("32");puts("14 10 17 27 18 29 27 22 18 5 7 27 3 20 24 22 14 27 3 17 7 21 11 23 26 8 15 26 7 7 2 18 ");}
	if(k==454){puts("32");puts("31 23 24 6 30 30 19 7 3 17 17 2 13 2 16 20 21 23 12 14 17 29 14 17 24 31 5 22 7 23 19 13 ");}
	if(k==455){puts("32");puts("27 3 31 5 24 30 27 7 12 21 1 20 3 17 5 2 14 21 14 9 17 32 12 10 28 21 12 16 29 26 9 22 ");}
	if(k==456){puts("32");puts("21 14 7 4 2 20 12 10 16 14 26 19 30 8 20 3 14 22 24 22 1 29 30 12 2 16 3 4 6 31 7 12 ");}
	if(k==457){puts("32");puts("5 22 24 32 18 13 25 12 26 10 26 27 25 14 16 29 10 20 17 30 29 30 11 5 9 21 21 28 3 11 6 17 ");}
	if(k==458){puts("32");puts("26 21 14 17 13 29 21 4 6 31 6 9 10 30 10 28 18 29 6 30 17 21 2 3 23 4 14 11 21 8 7 19 ");}
	if(k==459){puts("32");puts("22 15 8 30 13 25 28 17 10 4 25 32 6 16 15 14 12 19 13 28 5 28 24 16 19 22 26 21 1 16 28 3 ");}
	if(k==460){puts("32");puts("16 16 6 17 27 6 30 2 31 23 19 8 29 17 16 20 16 14 19 25 21 11 23 26 10 28 16 7 22 31 23 10 ");}
	if(k==461){puts("32");puts("7 32 7 8 24 3 31 31 18 17 26 32 30 6 22 30 13 24 32 4 20 28 6 19 27 12 16 13 16 8 11 17 ");}
	if(k==462){puts("32");puts("12 22 10 3 8 28 6 8 18 24 7 3 9 25 21 9 32 22 22 29 31 9 13 4 6 1 1 25 19 18 32 2 ");}
	if(k==463){puts("32");puts("17 9 22 2 25 17 3 15 18 4 10 25 26 30 9 19 6 11 12 11 28 13 29 16 2 31 29 17 22 24 20 8 ");}
	if(k==464){puts("32");puts("14 1 17 28 25 19 2 21 13 1 31 6 30 26 13 18 27 6 2 5 11 28 10 12 23 22 10 9 8 2 3 7 ");}
	if(k==465){puts("32");puts("6 4 30 1 22 16 4 14 16 23 15 14 19 13 19 17 21 28 31 30 27 11 17 12 7 32 6 15 17 4 21 24 ");}
	if(k==466){puts("32");puts("22 16 17 20 7 12 16 26 11 29 12 31 21 22 23 27 7 5 25 5 20 2 24 31 1 8 24 13 18 5 30 12 ");}
	if(k==467){puts("32");puts("2 23 16 11 19 2 22 6 29 19 21 13 25 12 26 14 9 29 5 18 7 5 8 27 28 26 17 11 18 11 3 5 ");}
	if(k==468){puts("32");puts("32 17 22 11 15 7 1 32 12 28 3 30 7 12 17 21 3 29 15 9 27 13 16 16 7 9 30 29 27 1 29 22 ");}
	if(k==469){puts("32");puts("31 27 13 26 24 28 7 16 5 8 5 14 8 15 10 23 4 17 32 29 22 8 12 3 9 9 1 31 5 7 20 2 ");}
	if(k==470){puts("32");puts("10 14 15 18 7 32 27 3 18 6 22 13 3 5 29 9 28 10 30 25 13 21 2 23 21 24 11 12 10 1 27 2 ");}
	if(k==471){puts("32");puts("11 26 8 32 28 11 4 23 23 3 13 17 12 26 3 29 32 21 10 29 30 5 1 9 9 12 15 24 22 1 30 27 ");}
	if(k==472){puts("33");puts("17 3 13 3 8 5 22 10 7 1 5 1 29 21 8 12 14 13 13 3 22 1 18 5 8 16 16 21 13 13 3 24 22 ");}
	if(k==473){puts("32");puts("11 27 15 23 9 4 13 20 13 8 19 12 32 28 17 3 7 31 29 6 11 10 24 2 24 8 18 20 2 8 15 32 ");}
	if(k==474){puts("33");puts("33 25 6 12 21 19 15 1 25 27 2 14 11 2 8 4 31 19 8 15 27 6 3 3 25 18 27 14 2 8 19 3 20 ");}
	if(k==475){puts("33");puts("16 2 2 16 17 26 26 23 2 5 28 23 21 8 26 8 15 5 19 25 30 29 2 23 7 17 2 14 13 20 7 26 30 ");}
	if(k==476){puts("33");puts("23 14 27 23 7 1 31 4 8 1 1 4 14 14 5 1 6 5 8 6 1 8 31 30 24 28 16 4 25 28 31 24 17 ");}
	if(k==477){puts("33");puts("4 19 29 24 12 16 18 25 15 33 15 19 9 26 28 24 11 27 26 20 32 2 19 16 33 19 24 9 4 8 23 4 3 ");}
	if(k==478){puts("33");puts("20 13 13 6 7 14 32 33 14 30 28 15 17 14 32 30 28 14 25 8 31 10 23 9 1 18 21 28 14 18 33 30 31 ");}
	if(k==479){puts("33");puts("4 11 32 11 19 33 16 15 15 28 30 16 22 15 26 18 5 15 17 6 33 18 4 9 4 27 22 10 15 7 25 19 29 ");}
	if(k==480){puts("33");puts("4 6 22 31 11 8 24 12 15 3 11 26 12 18 32 12 12 27 22 27 17 25 8 29 8 21 3 31 12 9 11 1 24 ");}
	if(k==481){puts("33");puts("16 6 29 27 30 2 23 14 15 33 25 17 3 2 6 14 21 2 19 31 7 30 1 31 27 29 33 3 2 2 3 17 17 ");}
	if(k==482){puts("33");puts("22 12 20 30 23 11 24 10 14 8 26 19 23 1 27 19 25 3 10 33 5 1 16 23 8 5 19 17 4 20 5 30 32 ");}
	if(k==483){puts("33");puts("6 6 25 26 26 11 8 25 6 25 11 21 2 3 33 26 12 19 28 18 6 16 19 18 2 30 27 14 29 24 31 18 32 ");}
	if(k==484){puts("33");puts("33 4 8 31 8 16 19 22 24 19 30 1 23 18 15 32 31 18 22 22 19 1 8 24 6 29 31 27 21 26 16 26 17 ");}
	if(k==485){puts("33");puts("9 14 11 17 25 21 4 27 16 17 21 28 20 13 31 24 21 11 29 8 9 15 30 4 17 22 16 3 33 18 25 33 27 ");}
	if(k==486){puts("33");puts("4 10 20 22 2 9 20 7 12 22 31 18 24 25 26 4 18 31 5 12 10 11 2 29 8 6 26 5 10 29 9 15 26 ");}
	if(k==487){puts("33");puts("3 22 7 13 30 24 1 7 16 2 9 19 11 19 18 19 28 19 25 30 14 27 31 33 32 13 25 32 25 20 29 22 22 ");}
	if(k==488){puts("33");puts("26 1 33 31 9 18 12 8 23 2 27 23 25 15 18 23 13 19 19 3 2 1 12 27 12 5 13 32 10 19 7 26 12 ");}
	if(k==489){puts("33");puts("30 3 7 29 9 6 14 16 32 23 8 3 14 8 22 28 8 11 4 15 26 6 8 1 2 16 28 6 23 10 22 3 18 ");}
	if(k==490){puts("33");puts("29 9 20 25 29 24 30 9 20 15 7 33 12 21 10 4 5 1 33 3 19 20 33 7 29 5 10 9 22 26 14 16 27 ");}
	if(k==491){puts("33");puts("8 2 11 31 4 19 29 21 31 4 25 15 1 27 31 3 28 8 29 25 17 14 18 10 26 32 6 6 21 20 18 11 8 ");}
	if(k==492){puts("33");puts("24 13 23 28 33 14 15 14 33 24 26 13 12 21 19 16 8 29 4 6 14 32 7 27 28 2 3 13 10 32 18 29 16 ");}
	if(k==493){puts("33");puts("14 3 32 5 27 20 2 24 19 8 30 24 26 18 19 26 6 25 11 8 11 22 8 25 31 12 23 13 7 15 21 4 6 ");}
	if(k==494){puts("33");puts("16 7 30 3 13 9 13 4 6 23 3 25 6 30 15 30 1 23 2 2 30 10 6 28 6 29 9 14 17 31 15 7 22 ");}
	if(k==495){puts("33");puts("28 29 8 7 13 13 19 3 3 14 28 9 11 21 10 23 2 15 27 3 31 33 9 30 23 6 26 19 14 9 17 10 22 ");}
	if(k==496){puts("33");puts("33 2 18 6 10 32 25 27 2 16 13 4 8 27 28 9 5 26 18 31 32 14 16 16 33 19 10 20 7 26 32 12 7 ");}
	if(k==497){puts("33");puts("10 15 26 1 12 28 15 3 11 25 22 9 20 13 11 13 25 8 16 4 31 24 25 24 1 14 8 27 21 22 6 6 2 ");}
	if(k==498){puts("33");puts("32 16 11 3 4 26 9 15 25 7 2 20 13 16 3 9 19 23 10 19 27 32 27 24 2 32 8 31 4 17 19 8 10 ");}
	if(k==499){puts("33");puts("7 21 21 1 28 16 16 6 2 2 27 26 1 33 21 11 9 20 6 12 6 31 22 23 28 30 24 1 27 17 25 20 10 ");}
	if(k==500){puts("33");puts("15 11 13 5 21 27 20 16 17 2 22 1 18 1 5 29 1 9 18 19 16 16 24 15 30 4 19 31 23 5 3 25 25 ");}
	return 0;
}
